1. .....................
Author: Chang, Chin-liang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C483
2. A 25-Year Perspective on Logic Programmin
Author: / edited by Agostino Dovier, Enrico Pontelli
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Information theory.,Logic design.,Artificial intelligence.
3. A paraconsistent decision-making method /
Author: Fábio Romeu de Carvalho, Jair Minoro Abe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
Classification :
Q342
4. A theory of heuristic information in game-tree search
Author: Tzeng, Chun-Hung
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
Classification :
Q
335
.
T99
1988
5. A theory of heuristic information in game-tree search
Author: TZENG,CHUN-HUNG
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
Q
335
.
T99
6. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
7. Abduction in Context
Author: by Woosuk Park,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Philosophy,Epistemology,Logic,Artificial intelligence,Cognitive psychology,Philosophy,Epistemology,Cognitive Psychology,Logic,Artificial Intelligence )incl. Robotics(
Classification :
EBOOK
,
HV
A33
6626
.
2
8. Abductive inference models for diagnostic problem-solving
Author: Peng, Yun
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
Classification :
Q
335
.
P414
1990
9. Abductive reasoning :logical investigations into discovery and explanation
Author: Aliseda, Atocha.
Library: Library of Mofid University (Qom)
Subject: ، Abduction )Logic(,، Reasoning,، Artificial intelligence
Classification :
BC199
.
A26
A45
2006
10. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
Author: \ [edited by] Thomas Eiter...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامهنویسی منطقی.,a03,a04,a03,a04
Classification :
TJ
211
.
A3
2015
E-Book
,
11. Advances in logic, artificial intelligence, and robotics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
12. Advances in logic, artificial intelligence, and robotics :
Author: edited by Jair Minoro Abe and João Inácio da Silva Filho.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
Classification :
Q334
.
C69
2002eb
13. #Advances in logic, artificial intelligence, and robotics
Author: #edited by Jair Minoro Abe and Joao Inacio da Silva Filho
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Artificial intelligence- Congresses ،Logic, Symbolic and mathematical- Congresses ،Robotics- Congresses
Classification :
#
Q
،#.
C69
،#
2002
14. Advances in logic, artificial intelligence and robotics
Author: / edited by Jair Minoro Abe and Jo?uo In??cio da Silva Filho
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses,Robotics--Congresses
Classification :
Q
,
334
,.
C684
,
2002
15. Advances in logic, artificial intelligence and robotics: LAPTEC 2002
Author: edited by Jair Minoro Abe and Joao Inacio da Silva Filho
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
Classification :
Q
334
.
A39
16. Advances in logic based intelligent systems
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses
Classification :
Q
،
334
،.
C69
،
2005
17. Advances in logic based intelligent systems :
Author: edited by Kazumi Nakamatsu and Jair Minoro Abe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
Classification :
Q334
.
C69
2005
18. Advances in technological applications of logical and intelligent systems :
Author: edited by Germano Lambert-Torres ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
19. Algebraic Foundations of Many-Valued Reasoning
Author: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
